Перевод: с английского на русский

с русского на английский

eta reduction

См. также в других словарях:

  • Eta Aquilae — Datenbanklinks zu Eta Aquilae Stern η Aquilae …   Deutsch Wikipedia

  • Eta Orionis — Datenbanklinks zu Eta Orionis Doppelstern η Orionis …   Deutsch Wikipedia

  • Eta Ursae Minoris — Datenbanklinks zu η Ursae Minoris Stern η Ursae Minoris …   Deutsch Wikipedia

  • LSZ reduction formula — In quantum field theory, the LSZ reduction formula is a method to calculate S matrix elements (the scattering amplitudes) from the time ordered correlation functions of a quantum field theory. It is a step of the path that starts from the… …   Wikipedia

  • L-reduction — is a transformation of optimization problems which keeps the approximability features. L reductions in studies of approximability of optimization problems play a similar role to that of polynomial reductions in the studies of computational… …   Wikipedia

  • Beta normal form — In the lambda calculus, a term is in beta normal form if no beta reduction is possible. A term is in beta eta normal form if neither a beta reduction nor an eta reduction is possible. A term is in head normal form if there is no beta redex in… …   Wikipedia

  • Lambda-Calcul — « La notion de λ définissabilité fut la première de ce qui est accepté maintenant comme l équivalent exact des descriptions mathématiques pour lesquelles des algorithmes existent. »  Stephen Kleene, in Origins of Recursive Function …   Wikipédia en Français

  • Lambda-calcul — Le lambda calcul (ou λ calcul) est un système formel inventé par Alonzo Church dans les années 1930, qui fonde les concepts de fonction et d application. Il a été le premier formalisme utilisé pour définir et caractériser les fonctions récursives …   Wikipédia en Français

  • Lambda calcul — « La notion de λ définissabilité fut la première de ce qui est accepté maintenant comme l équivalent exact des descriptions mathématiques pour lesquelles des algorithmes existent. »  Stephen Kleene, in Origins of Recursive Function …   Wikipédia en Français

  • Λ-calcul — Lambda calcul « La notion de λ définissabilité fut la première de ce qui est accepté maintenant comme l équivalent exact des descriptions mathématiques pour lesquelles des algorithmes existent. »  Stephen Kleene, in Origins of… …   Wikipédia en Français

  • Simply typed lambda calculus — The simply typed lambda calculus (lambda^ o) is a typed interpretation of the lambda calculus with only one type combinator: o (function type). It is the canonical and simplest example of a typed lambda calculus. The simply typed lambda calculus… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»